eventlist(pred?;e) == if first(e) [e] else eventlist(pred?;pred(e)) @ [e] fi  (recursive) 

latex

---

clarification:

eventlist(pred?;e) == if first(pred?;e) e.nil else eventlist(pred?;pred(pred?;e)) @ (e.nil) fi
(recursive) 

latex

Definitions	Y, x.A(x), if b t else f fi, first(e), as @ bs, f(a), pred(e), car.cdr, nil
FDL editor aliases	eventlist